翻訳と辞書 Words near each other ・ comtran ・ con ・ conc ・ concatenate ・ concatenated key ・ concentrator ・ conceptualisation ・ concert/c ・ concoord ・ concrete class ・ concrete data structure ・ concrete syntax ・ concur ・ concurrency ・ concurrent c ・ concurrent c++ ・ concurrent clean ・ concurrent clu ・ concurrent constraint programming ・ concurrent euclid Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク concrete data structure ： FOLDOC Concrete Data Structure (CDS) A model of programming language terms developed in the context of constructing fully abstract semantics for sequential languages. A CDS is a 4-tuple (C,V,E,|-) where C is a cell, V is a value, E is an event and |- is an "enabling relation". An event is a cell and a value. A cell C is "enabled" by a set of events S if S |- C. A state is a set of events which are consistent in that the values they give for any cell are all equal. Every cell in a state is enabled. [G. Berry, P.-L. Curien, "Theory and practice of sequential algorithms: the kernel of applicative language CDS", Algebraic methods in semantics, CUP 1985]. (1994-11-30) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.